Millstream Systems
نویسندگان
چکیده
We introduce Millstream systems, a mathematical framework in the tradition of the Theory of Computation that uses logic to formalize the interfaces between different aspects of language, the latter being described by any number of independent modules. Unlike other approaches that serve a similar goal, Millstream systems neither presuppose nor establish a particular linguistic theory or focus, but can be instantiated in various ways to accomodate different points of view. UMINF 09.21 Copyright c © 2009 ISSN 0348-0542
منابع مشابه
A Prototype Implementation of Incremental Millstream Systems
This thesis is concerned with a mathematical framework for describing sentences of natural language, called Millstream system. The main goal was to develop a prototype that simulates Millstream systems in an incremental fashion using graph transformations, based on an article [5] mainly written by people in the research group Natural and Formal Language at Umeå University. The rst step was to i...
متن کاملMillstream Systems – a Formal Model for Linking Language Modules by Interfaces
We introduce Millstream systems, a formal model consisting of modules and an interface, where the modules formalise different aspects of language, and the interface links these aspects with each other.
متن کاملAlgorithmic Properties of Millstream Systems
Millstream systems have recently been proposed as a formalization of the linguistic idea that natural language should be described as a combination of different modules related by interfaces. In this paper we investigate algorithmic properties of Millstream systems having regular tree grammars as modules and MSO logic as interface logic. We focus on the so-called completion problem: Given trees...
متن کاملIncremental Construction of Millstream Configurations Using Graph Transformation
Millstream systems are a non-hierarchical model of natural language. We describe an incremental method for building Millstream configurations while reading a sentence. This method is based on a lexicon associating words and graph transformation rules.
متن کاملCorrect Readers for the Incremental Construction of Millstream Configurations by Graph Transformation
Millstream systems have been proposed as a non-hierarchical method for modelling natural language. Millstream configurations represent and connect multiple structural aspects of sentences. We present a method by which the Millstream configurations corresponding to a sentence are constructed. The construction is incremental, that is, it proceeds as the sentence is being read and is complete when...
متن کامل